Module Dependences in Software Design

نویسنده

  • Daniel Jackson
چکیده

A new model of inter-module dependences is proposed. ! e key idea is that dependences are mediated by specifi cations, so that not only the existence of a dependence is recorded, but also its quality. A single module does not necessarily off er only a single specifi cation; each dependent module may use it through a diff erent specifi cation. ! is notion of dependence seems to explain some common programming idioms more readily than the conventional notion, and off ers new opportunities for analysis and design cri-

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Debugging Process Models based on Changes in Impressions of Software Modules

This paper proposes analysis models for representing processes of debugging unfamiliar programs focusing on how engineers comprehend each software module and locate a bug. Since actual debugging strategies relate to engineers’ impressions of each software module – either the module is faulty, not faulty or uncertain, proposed models consider both mentaland externalactivities of engineers. We ap...

متن کامل

Critical Feature Analysis of a Radiotherapy Machine

The software implementation of the emergency shutdown feature in a major radiotherapy system was analyzed, using a directed form of code review based on module dependences. Dependences between modules are labelled by particular assumptions; this allows one to trace through the code, and identify those fragments responsible for critical features. An ‘assumption tree’ is constructed in parallel, ...

متن کامل

Explaining Failures Using Software Dependences and Churn Metrics

and Churn Metrics Nachiappan Nagappan, Thomas Ball ABSTRACT Commercial software development is a complex task that requires a thorough understanding of the architecture of the software system. We analyze the Windows Server 2003 operating system in order to assess the relationship between its software dependences, churn metrics and post-release failures. Our analysis indicates the ability of sof...

متن کامل

Quality and Knowledge in Software Engineering

Celite Corporation and Andersen Consulting have developed an advanced approach to traditional software development entitled the Application Software Factory (ASF). The approach is an integration of technology and Total Quality Management techniques which includes the use of an expert system to guide module design and perform module programming. The expert system component is called the Knowledg...

متن کامل

Software Quality Enhancement Through Software Process Optimization Using Taguchi Methods

This paper presents a methodology for selection of optimal softu’are design parameters using the experimental design. When an organization is at the point of taking up a new project with an objective of improving the software quality, Taguchi method is appliedfor the software design process with an objective that not more than one error is found per software module. The strategy in robust desig...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002